Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
281	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2011-10-25 12:01:10 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
282	Annotation-Based Empirical Performance Tuning Using Orio Albert Hartono1 , Boyana Norris2 , and P. Sadayappan1 1 Ohio State University, Dept. of Computer Science and Engineering, Columbus, OH 43210 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2008-11-19 11:29:27 Programming language theory Automatic parallelization tool Loop optimization Loop fusion Automatic parallelization Loop unwinding Program optimization Compiler Polytope model Compiler optimizations Computing Software engineering
283	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
284	® AMX™ PPC32 Tool Guide First Printing: June 1, 1996 Last Printing: November 1, 2007 Add to Reading List Source URL: www.kadak.com Language: English - Date: 2007-11-01 17:13:00 Metrowerks AMC AMX CodeWarrior PowerPC Dataindustrier AB Executable and Linkable Format Open Watcom Assembler Debian Programming tool Software Computer architecture Computing
285	Salesforce ODBC, JDBC Drivers SQL on Salesforce.com: Access, analyze, and report on data with your SQL-based tool of choice. Simba’s ODBC and JDBC drivers for Salesforce.com enable standard SQL-92 access directly to da Add to Reading List Source URL: www.simba.com Language: English - Date: 2015-02-16 19:53:12 ODBC Simba Technologies JDBC driver Java Database Connectivity Data management Data access Salesforce.com OLE DB provider OpenLink ODBC Drivers Computing Java platform Computer programming
286	What algorithms are supported in Figaro? Current built-in algorithms include:  Exact inference using variable elimination Add to Reading List Source URL: www.cra.com Language: English - Date: 2014-11-17 13:08:42 Build automation Compiling tools Scala programming language Simple Build Tool Java platform Apache Maven Scala Algorithm Computing Software Computer programming
287	ivec.org Using Performance Tools on the Cray XC30 Rebecca Hartman-Baker Add to Reading List Source URL: portal.ivec.org Language: English - Date: 2014-09-17 22:14:58 Debugging Software GNU Debugger Tracing DDT Programming tool Cray Allinea Distributed Debugging Tool Comparison of debuggers Debuggers Computing Software engineering
288	Which Warnings Should I Fix First? Sunghun Kim and Michael D. Ernst Computer Science & Artificial Intelligence Lab (CSAIL) Massachusetts Institute of Technology {hunkim, mernst}@csail.mit.edu Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-06-14 09:36:57 Version control Software bug FindBugs Bug tracking system Open-source software Programming tool Revision control Software testing Wikipedia Computing Computer programming Software
289	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:32:51 Debuggers GNU Debugger Diff Patch Git Apache Subversion Programming tool D Software Computing Emacs
290	JUnit 4.0 in 10 minutes Gunjan Doshi Instrumental Services Inc Abstract: JUnit needs no introduction. Originally written by Kent Beck and Erich Gamma, the software is the preferred tool of choice for developer testing. N Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2007-10-28 19:35:02 Java platform Cross-platform software JUnit Unit testing Software Computing Extreme programming

UPDATE